Petri-net models for comprehensive hazard analysis of MOCVD processes
نویسندگان
چکیده
Reducing contamination level is of primary importance for the safety and efficiency of a MOCVD process. Off-line fault identification is one of the basic tasks that must be performed in hazard analysis to identify potential operational problems. For illustration convenience, the scope of present study is limited to the purge-gas purifier of the process. A systematic step-by-step procedure is proposed in this paper to construct Petri nets for modeling the purification system. Efficient hazard assessment studies have been performed by simulating the fault propagation behaviors on the basis of the system model. A comprehensive list of possible fault origins has been thoroughly examined to demonstrate the effectiveness of the proposed approach. © 2010 Elsevier Ltd. All rights reserved.
منابع مشابه
Soccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملAn Integrated Hazard Identification Method for Socio-technical Systems based on STPA
The traditional hazard analysis approaches applied to the socio-technical system can not cover the complex organization structures, the interactions between systems and human behaviors, the interrelated factors among sub-systems and the safety culture of specific societies. This paper presents an integrated hazard identification methodology named BFM-STPA(STPA hazard identification Based on For...
متن کاملMapping Activity Diagram to Petri Net: Application of Markov Theory for Analyzing Non-Functional Parameters
The quality of an architectural design of a software system has a great influence on achieving non-functional requirements of a system. A regular software development project is often influenced by non-functional factors such as the customers' expectations about the performance and reliability of the software as well as the reduction of underlying risks. The evaluation of non-functional paramet...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Computers & Chemical Engineering
دوره 35 شماره
صفحات -
تاریخ انتشار 2011